Pmccs-6 Part of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-communication Systems Pmccs-6 Part of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-communication Systems

PMCCS-6 The Sixth International Workshop on Performability Modeling of Computer and Communication Systems September 5-7, 2003 Monticello, Illinois, USA part of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems Extended Abstracts PMCCS-6 The Sixth International Workshop on Performability Modeling of Computer and Communication Systems September 5-7, 2003 Monticello, Illinois, USA part of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems FOREWORD It is our pleasure to present the program of the Sixth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-6), to be held in Monticello, Illinois, USA, September 5-7, 2003. The PMCCS series started in 1991 as a forum to gather researchers working in the emerging area of performability of computer and communication systems. The intent of the workshop was to favor an informal but deep exchange of new and in-progress work on the combined modeling and analysis of performance and dependability aspects of systems. Previous workshops in the series were held in: PMCCS-1 University of Twente, The Netherlands, 1991 PMCCS-2 Le Mont Saint Michel, France, 1993 PMCCS-3 Indian Lakes Resort, Bloomingdale, IL, USA, 1996 PMCCS-4 College of William and Mary, Williamsburg, VA, USA, 1998 PMCCS-5 University of Erlangen-Nuremberg, Germany, 2001 The workshop focuses on theory, techniques, and tools for performability modeling, along with their application to the evaluation and design of computer and communication systems. PMCCS6 is being hosted at the Robert Allerton Park and Conference Center in Monticello, Illinois, USA and is taking place under the umbrella of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems. The contributions to this Workshop cover various aspects of performability modeling and analysis, with particular emphasis on algorithms, queueing models, model checking, simulation, and statistical inference. Various contributions deal with applications in the area of computer, communication, and safety-critical systems. According to the traditions of the PMCCS series, the workshop will be characterized by open and intense discussions on various topics in performability modeling and analysis. To favor an open discussion, an informal booklet containing extended abstracts of the presentations will be distributed among the attendants, while the authors maintain full copyright of their material. We would like to thank the authors, whose submitted contributions allowed us to prepare an interesting scientific program. Moreover, the effort of all the people who contributed to the organization of this event, in particular William H. Sanders and Jenny Applequist, is gratefully acknowledged. We would also like to thank the Coordinated Science Laboratory (CSL) at the University of Illinois at Urbana-Champaign, for making a financial contribution to this event. We wish all the participants a successful and enjoyable workshop. Andrea Bobbio Daniel Deavours Yue Ma Dipartimento di Informatica Università del Piemonte Orientale Alessandria, Italy Information and Telecommunication Technology Center (ITTC) University of Kansas Lawrence, KS 66045, USA Global Software Group Motorola, Inc. Deer Park, IL 60010, USA